ILP turns 20

Inductive Logic Programming (ILP) is an area of Machine Learning which has now reached its twentieth year. Using the analogy of a human biography this paper recalls the development of the subject from its infancy through childhood and teenage years. We show how in each phase ILP has been characterised by an attempt to extend theory and implementations in tandem with the development of novel and challenging real-world applications. Lastly, by projection we suggest directions for research which will help the subject coming of age.     

The Kosko Subsethood Fuzzy Associative Memory (KS-FAM): Mathematical Background and Applications in Computer Vision

Many well-known fuzzy associative memory (FAM) models can be viewed as (fuzzy) morphological neural networks (MNNs) because they perform an operation of (fuzzy) mathematical morphology at every node, possibly followed by the application of an activation function. The vast majority of these FAMs represent distributive models given by single-layer matrix memories. Although the Kosko subsethood FAM (KS-FAM) can also be classified as a fuzzy morphological associative memory (FMAM), the KS-FAM constitutes a two-layer non-distributive model. In this paper, we prove several theorems concerning the conditions of perfect recall, the absolute storage capacity, and the output patterns produced by the KS-FAM. In addition, we propose a normalization strategy for the training and recall phases of the KS-FAM. We employ this strategy to compare the error correction capabilities of the KS-FAM and other fuzzy and gray-scale associative memories in terms of some experimental results concerning gray-scale image reconstruction. Finally, we apply the KS-FAM to the task of vision-based self-localization in robotics.     

Testing interruptions in reactive systems

Modelling and testing of reactive systems with interruptions are discussed. These systems are commonly found in portable devices, where interruptions to a running application can be demanded at any time, due to concurrent execution of processes sharing a single resource, such as screen, as well as arrival of calls from network distributed services. Since the possible number of combinations of allowed interruptions is large, proper test case selection activities need to be performed. But, in order to systematically investigate and select test cases, it is fundamental to explicitly model interruption behaviour in a compositional way, avoiding the need for explicit enumeration. This work presents a strategy for testing interruptions in reactive systems that covers modelling for testing of systems with interruptions, generation and selection of sound test cases. The strategy is supported by the LTS-BT tool. Moreover, a formal model of an environment devoted to execution of test cases with interruptions is presented. Finally, a case study illustrates its applicability in the mobile phone application domain.     

Recursive identification of Hammerstein systems with application to electrically stimulated muscle

Modeling of electrically stimulated muscle is considered in this paper where a Hammerstein structure is selected to represent the isometric response. Motivated by the slowly time-varying properties of the muscle system, recursive identification of Hammerstein structures is investigated. A recursive algorithm is then developed to address limitations in the approaches currently available. The linear and nonlinear parameters are separated and estimated recursively in a parallel manner, with each updating algorithm using the most up-to-date estimation produced by the other algorithm at each time instant. Hence the procedure is termed the alternately recursive least square (ARLS) algorithm. When compared with the leading approach in this application area, ARLS exhibits superior performance in both numerical simulations and experimental tests with electrically stimulated muscle.     

Influence of oxygen content on some properties of Nb3Sn tape used for superconducting transmission lines

The influence of the presence of oxygen in the Nb-Zr substrate upon some physical and mechanical properties of the Nb-ZrO₂ substrate and/or Nb₃Sn tape superconductor prepared from such a substrate has been studied. The results have shown that the Nb₃Sn grains are much finer in the case of Nb-ZrO₂, than those obtained on Nb-Zr substrate. As a result, both the electrical and mechanical properties have been substantially improved. The critical current at a field of 5 T increased by between 100 and 200 %, the alternating current losses decreased by about one order of magnitude, the tensile strength increased by about a factor of three and the microhardness value also increased by about a factor of three for oxygen contents in the range 0.03 to 0.70 wt%. The specific resistance of this substrate increased at the same time from 17 to 22 cm and the relative elongation decreased from 5 to 3 %.     

BCI Meeting 2005--workshop on signals and recording methods.

This paper describes the highlights of presentations and discussions during the Third International BCI Meeting in a workshop that evaluated potential brain-computer interface (BCI) signals and currently available recording methods. It defined the main potential user populations and their needs, addressed the relative advantages and disadvantages of noninvasive and implanted (i.e., invasive) methodologies, considered ethical issues, and focused on the challenges involved in translating BCI systems from the laboratory to widespread clinical use. The workshop stressed the critical importance of developing useful applications that establish the practical value of BCI technology.     

Concurrent analogue fault simulation,the equation formulation aspect

Fault simulation is an essential tool for developing test patterns for circuits. Because the potential number of faults in a circuit is potentially very large, computational efficiency is an important consideration. In the digital domain, concurrent fault simulation is well‐established as an efficient tool. For analogue circuits, fault simulation is often performed by repeated insertion of possible faults and resimulation of the circuit. Consequently, methods for efficient concurrent analogue fault simulation are attracting attention. A review of existing methods of concurrent analogue fault simulation shows that most are based on a similar fundamental perturbation of the original fault‐free circuit equations, although the methods differ in the procedure applied after the circuit equations are formulated. We develop here a comprehensive set of element stamps, describing faulty elements, enabling effective and routine equation formulation for faulty circuits. These may be used no matter what method of fault simulation is later applied. These stamps are used in a new technique for concurrent analogue fault simulation, based on modified nodal analysis. A significant improvement in efficiency, compared with other methods, is demonstrated. Copyright © 2004 John Wiley & Sons, Ltd.     

A rough set approach to design concept analysis in a design chain

The inherent dynamic relationships among design tasks performed concurrently at different organizations characterize the complexities of a design chain where designers with diverse expertise need to collaborate across organizational boundaries. To ensure timely completion of inter-related design tasks, metrics to facilitate the early evaluation of design concepts are crucial. The ability to evaluate and select suitable design concepts at an early stage will ensure better solutions and greater savings in time and effort further downstream. This paper proposes a new approach based on the rough set theory to design concept analysis. The approach aims at early detection of design inadequacy. A so-called information system is constructed using the information gleaned from design concepts and design capabilities, and analyzed using the rough set theory to derive a set of design rules for design concept analysis. The approach embodies a technique for handling attributes with unavailable information, which is a frequent occurrence in design. This paper presents details of the proposed approach, the novel technique, and a case study.     

Image Space Rendering of Point Clouds Using the HPR Operator

The hidden point removal (HPR) operator introduced by Katz et al. [KTB07] provides an elegant solution for the problem of estimating the visibility of points in point samplings of surfaces. Since the method requires computing the three‐dimensional convex hull of a set with the same cardinality as the original cloud, the method has been largely viewed as impractical for real‐time rendering of medium to large clouds. In this paper we examine how the HPR operator can be used more efficiently by combining several image space techniques, including an approximate convex hull algorithm, cloud sampling, and GPU programming. Experiments show that this combination permits faster renderings without overly compromising the accuracy.